es{-}realizer($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$p$.1